$\forall$$T$:Type, ${\it as}$, ${\it bs}$:($T$ List). l\_subset($T$;${\it as}$;${\it bs}$) $\in$ $\mathbb{P}$